Eigenschappen en opties van de editor aanpassen

Selecteer Opties in het menu Extra als u de eigenschappen en opties van de code-editor wilt aanpassen.